package org.langcom.logic;


public class LogicException extends Exception{

	private static final long serialVersionUID = -6293653463122677023L;

	protected ILogic logic;

	public LogicException(ILogic logic) {
		super();
		this.logic = logic;
	}
	
	public ILogic getLogic() {
		return logic;
	}
	
	@Override
	public String getLocalizedMessage() {
		return logic.toString();
	}
	
	@Override
	public void printStackTrace() {
		PrintUtils.printLogic(System.err, logic);
	}
}


